<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <title>package alloy.cli</title>
  </head>

  <body>
    Command-line interface to Alloy Analyzer, built on top of {@link alloy.api}.

    <hr>
    <address><a href="mailto:ilya_shl@mit.edu"></a></address>
<!-- Created: Sat Jun 15 21:20:38 Eastern Daylight Time 2002 -->
<!-- hhmts start -->
Last modified: Sat Jun 15 21:20:57 Eastern Daylight Time 2002
<!-- hhmts end -->
  </body>
</html>
